home *** CD-ROM | disk | FTP | other *** search
/ Atari Mega Archive 1 / Atari Mega Archive - Volume 1.iso / gnu / bash / bash_108 / bash-108.zoo / bash-1.08 / documentation / Makefile < prev    next >
Encoding:
Makefile  |  1991-05-20  |  362 b   |  19 lines
  1. # This Makefile is for the Bash/documentation directory -*- text -*-.
  2. #
  3.  
  4. all: features.dvi features.info bash.txt
  5.  
  6. features.dvi: features.texi
  7.     tex features.texi
  8.     tex features.texi
  9.  
  10. features.info: features.texi
  11.     makeinfo features.texi
  12.  
  13. bash.txt: bash.1
  14.     nroff -man bash.1 >bash.txt
  15.  
  16. clean:
  17.     rm -f *.aux *.cp *.fn *.ky *.log *.pg *.toc *.tp *.vr *.info *.info-*
  18.  
  19.